大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Computer Arithmetic 15th Asilomar July 的图书(共3099本)

Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

0
索取号：
作者：Havelund、 Klaus.、Majumdar、 Rupak.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

0
索取号：
作者：Autexier、 Serge.、Campbell、 John.、Rubio、 Julio.、Sorge、 Volker.、Suzuki、 Masakazu.、Wiedijk、 Freek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algebraic Biology [electronic resource] : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

0
索取号：
作者：Horimoto、 Katsuhisa.、Regensburger、 Georg.、Rosenkranz、 Markus.、Yoshida、 Hiroshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Affect and Emotion in Human-Computer Interaction [electronic resource] : From Theory to Applications

0
索取号：
作者：Peter、 Christian.、Beale、 Russell.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Music Modeling and Retrieval. Sense of Sounds [electronic resource] : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

0
索取号：
作者：Kronland-Martinet、 Richard.、Ystad、 S酶lvi.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

0
索取号：
作者：Meseguer、 Jos茅.、Ro艧u、 Grigore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Adaptive Multimedia Retrieval: Retrieval, User, and Semantics [electronic resource] : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers

0
索取号：
作者：Boujemaa、 Nozha.、Detyniecki、 Marcin.、N眉rnberger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

Computer Science-Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

0
索取号：
作者：Hirsch、 Edward A.、Razborov、 Alexander A.、Semenov、 Alexei.、Slissenko、 Anatol.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

0
索取号：
作者：Leue、 Stefan.、Merino、 Pedro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Vision Systems [electronic resource] : 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings

0
索取号：
作者：Gasteratos、 Antonios.、Vincze、 Markus.、Tsotsos、 John K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer and Information Science [electronic resource]

0
索取号：
作者：Lee、 Roger.、Kim、 Haeng-Kon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

International Safeguards and Satellite Imagery [electronic resource] : Key Features of the Nuclear Fuel Cycle and Computer-Based Analysis

0
索取号：
作者：Stein、 Gotthard.、Richter、 Bernd.、Nussbaum、 Sven.、Niemeyer、 Irmgard.、Jasani、 Bhupendra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Discrete Geometry for Computer Imagery [electronic resource] : 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings

0
索取号：
作者：Coeurjolly、 David.、Sivignon、 Isabelle.、Tougne、 Laure.、Dupont、 Florent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Knowledge Management for Health Care Procedures [electronic resource] : From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers

0
索取号：
作者：Ria帽o、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Intelligent Computer Techniques in Applied Electromagnetics [electronic resource]

0
索取号：
作者：Wiak、 S艂awomir.、Krawczyk、 Andrzej.、Dolezel、 Ivo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.